selcipra

Construction: se+cipra property tested [for] Structure: x1 = cipra2 (property tested [for]), x2 = cipra1 (test), x3 = cipra3 (tested)